A Unified Concept for Blocks and Processes in SDL
نویسنده
چکیده
The authors develop an unified concept for blocks and processes in SDL. The current principles for a structural decomposition of a system into a set of nested block definitions have been applied to SDL processes. This enables a decomposition of processes into contained processes and opens also the possibility of a dynamic creation of such complex structures. From a behavioural point of view this structural decomposition can be realized by a concurrent execution or by an interleaved (alternating) execution of the contained processes. The dynamic semantics of the proposed concept is explained by transformation rules, mapping the unified block/process concept onto basic SDL.
منابع مشابه
A Unified Approach for Design of Lp Polynomial Algorithms
By summarizing Khachiyan's algorithm and Karmarkar's algorithm forlinear program (LP) a unified methodology for the design of polynomial-time algorithms for LP is presented in this paper. A key concept is the so-called extended binary search (EBS) algorithm introduced by the author. It is used as a unified model to analyze the complexities of the existing modem LP algorithms and possibly, help ...
متن کاملA UNIFIED MODEL FOR RESOURCE-CONSTRAINED PROJECT SCHEDULING PROBLEM WITH UNCERTAIN ACTIVITY DURATIONS
In this paper we present a unified (probabilistic/possibilistic) model for resource-constrained project scheduling problem (RCPSP) with uncertain activity durations and a concept of a heuristic approach connected to the theoretical model. It is shown that the uncertainty management can be built into any heuristic algorithm developed to solve RCPSP with deterministic activity durations. The esse...
متن کاملA Unified IMC based PI/PID Controller Tuning Approach for Time Delay Processes
This paper proposes a new PI/PID controller tuning method within filtered Smith predictor (FSP) configuration in order to deal with various types of time delay processes including stable, unstable and integrating delay dominant and slow dynamic processes. The proposed PI/PID controller is designed based on the IMC principle and is tuned using a new constraint and without requiring any approxima...
متن کاملCombining UML and SDL
UML and SDL both have their own merits and form a strong alliance when combined in one methodology. In this paper we describe three scenarios for combining UML and SDL: Forward Engineering, Reverse Engineering and Round-Trip Engineering. The foundation that makes these scenarios possible is a profound translation between UML & SDL'96 concepts. We also explain how the translation is adapted to i...
متن کاملThe Purpose of Sdl Simulations
This paper presents a tool chain to compile SDL specifications into simulators. Such simulators can be used to analyse and verify the specification. The SITE code generator translates the specification into C++, which allows to flexibly replace the underlying run-time system. INTRODUCTION INTO SDL The following description of SDL is a simplification, for a complete reference, the reader is refe...
متن کامل